Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
Are you the oldest in your family?
你是你家里最大的孩子吗？
You'll have your own office soon but for the time being you'll have to share one.
你很快就有自己的办公室了，不过暂时还得和别人合用一间。
Tom said that he was feeling ill.
汤姆说他不舒服。